Symmetry breaking in MILP formulations for Unit Commitment problems
نویسندگان
چکیده
منابع مشابه
Polynomial Time Algorithms and Extended Formulations for Unit Commitment Problems
Recently increasing penetration of renewable energy generation brings challenges for power system operators to perform efficient power generation daily scheduling, due to the intermittent nature of the renewable generation and discrete decisions of each generation unit. Among all aspects to be considered, unit commitment polytope is fundamental and embedded in the models at different stages of ...
متن کاملImproved Tightened Milp Formulations for Single-stage Batch Scheduling Problems
This work presents a set of improved MILP mathematical formulations for the scheduling of single-stage batch plants with parallel production lines. Minimization of the average weighted earliness and the makespan, i.e. the time needed to complete all processing tasks, are considered as alternative problem goals. For each objective function an enhanced model that incorporates specific tightening ...
متن کاملBreaking Symmetry in Injective Problems
Adding symmetry breaking constraints is one of the oldest ways of breaking variable symmetries for CSPs. For instance, it is well known that all the symmetries for the pigeon hole problem can be removed by ordering the variables. We have generalized this result to all CSPs where the variables are subject to an all different constraint. In such case it is possible to remove all variable symmetri...
متن کاملSolving Mixed Integer Bilinear Problems Using MILP Formulations
In this paper, we examine a mixed integer linear programming (MILP) reformulation for mixed integer bilinear problems where each bilinear term involves the product of a nonnegative integer variable and a nonnegative continuous variable. This reformulation is obtained by first replacing a general integer variable with its binary expansion and then using McCormick envelopes to linearize the resul...
متن کاملSymmetry-Breaking Predicates for Search Problems
Many reasoning and optimization problems exhibit symmetries. Previous work has shown how special purpose algorithms can make use of these symmetries to simplify reasoning. We present a general scheme whereby symmetries are exploited by adding \symmetry-breaking" predicates to the theory. Our approach can be used on any propo-sitional satissability problem, and can be used as a pre-processor to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Chemical Engineering
سال: 2016
ISSN: 0098-1354
DOI: 10.1016/j.compchemeng.2015.11.004